A compiler technique used for optimization in real-time systems replaces run-time computations with compile-time computations and is called